منابع مشابه
A differential intermediate value theorem
In this survey paper, we outline the proof of a recent differential intermediate value theorem for transseries. Transseries are a generalization of power series with real coefficients, in which one allows the recursive appearance of exponentials and logarithms. Denoting by T the field of transseries, the intermediate value theorem states that for any differential polynomials P with coefficients...
متن کاملPerhaps the Intermediate Value Theorem
In the context of intuitionistic real analysis, we introduce the set F consisting of all continuous functions φ from [0, 1] to R such that φ(0) = 0 and φ(1) = 1. We let I0 be the set of all φ in F for which we may find x in [0, 1] such that φ(x) = 12 . It is well-known that there are functions in F that we can not prove to belong to I0, and that, with the help of Brouwer’s Continuity Principle ...
متن کاملThe binary expansion and the intermediate value theorem in constructive reverse mathematics
We introduce the notion of a convex tree. We show that the binary expansion for real numbers in the unit interval (BE) is equivalent to weak König lemma (WKL) for trees having at most two nodes at each level, and we prove that the intermediate value theorem (IVT) is equivalent to WKL for convex trees, in the framework of constructive reverse mathematics.
متن کاملAn Intermediate Value Theorem for the Arboricities
Let G be a graph. The vertex edge arboricity of G denoted by a G a1 G is the minimum number of subsets into which the vertex edge set of G can be partitioned so that each subset induces an acyclic subgraph. Let d be a graphical sequence and let R d be the class of realizations of d. We prove that if π ∈ {a, a1}, then there exist integers x π and y π such that d has a realization G with π G z if...
متن کاملHereditary Indecomposability and the Intermediate Value Theorem
We show that hereditarily indecomposable spaces can be characterized by a special instance of the Intermediate Value Theorem in their ring of continuous functions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 1973
ISSN: 0001-8708
DOI: 10.1016/0001-8708(73)90112-6